Extending - information delivery specification - for linking distributed model checking services
نویسندگان
چکیده
Since the amount and representation of required information in BIM is extensive, a possible extension Information Delivery Specification (IDS) format presented. This intended to offer possibility include further checking resources process, perform geometric topological addition semantic checks. The IDS uses dynamic links integrate external calculation services into process. functions service for concept validation were identified based on requirements simulation building energy models. result using format.
منابع مشابه
Model Checking Behavioral Specification of BPEL Web Services
BPEL is a business flow language which describes the composition of web services. Since business flow may be very complex, the method of formalized analysis can help ensure the accuracy of work flow. For web services described by BPEL, in this paper we establish a formalized analysis model, provide specifications and semantics of business flow, and finally translate it into the asynchronous com...
متن کاملExtending the Multidimensional Model for Linking Cubes
Data warehouses structure data in multidimensional cubes, where dimensions specify different ways in which measures in facts may be viewed, aggregated, and sorted. It is essential for data analysts to combine data from heterogeneous multidimensional cubes to enhance their analysis capabilities. For this, users are restricted in using only shared dimensions for navigating related multidimensiona...
متن کاملStructured English for Model Checking Specification
Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e., formulation and understanding of specifica...
متن کاملDistributed Modular Model Checking
Model checking is a formal method that veri es whether a nite state model of a system satis es a speci cation gi v enas a temporal logic formula. The most severe problem model checking suffer from is the so called state explosion problem. Distribution is one of the techniques that combat the state explosion. The aim is to distribute the state space among a number of computers so as to be able t...
متن کاملModel Checking Distributed Objects
We demonstrate how the use of synchronization primitives and threading policies in object middleware can lead to deadlocks. We identify that object middleware only has a few built-in synchronization and threading primitives and suggest to express them as stereotypes in UML models. We define the semantics of these stereotypes by a mapping to a process algebra. Finally, we apply model checkers to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computing in construction
سال: 2023
ISSN: ['2684-1150']
DOI: https://doi.org/10.35490/ec3.2023.266